Core TuLiP Logic Programming for Trust Management
نویسندگان
چکیده
We propose CoreTuLiP the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM languages such as RT; in particular clauses are issued by different authorities and stored in a distributed manner. We present a lookup and inference algorithm which we prove to be correct and complete w.r.t. the declarative semantics. CoreTuLiP enjoys uniform syntax and the well-established semantics and is expressive enough to model scenarios which are hard to deal with in RT.
منابع مشابه
Core TuLiP
We propose CoreTuLiP the core of a trust management language based onLogic Programming. CoreTuLiP is based on a subset of moded logic program-ming, but enjoys the features of TM languages such as RT; in particular clausesare issued by different authorities and stored in a distributed manner. We presenta lookup and inference algorithm which we prove to be correct and complete...
متن کاملTrust Management in P2P Systems Using Standard TuLiP
In this paper we introduce Standard TuLiP a new logic based Trust Management system. In Standard TuLiP, security decisions are based on security credentials, which can be issued by different entities and stored at different locations. Standard TuLiP directly supports the distributed credential storage by providing a sound and complete Lookup and Inference AlgoRithm (LIAR). In this paper we focu...
متن کاملSolving power and trust conflicts through argumentation in agent-mediated knowledge distribution
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and information are mostly incomplete or in potential conflict with each other. As a consequence, decision processes for information distribution may be difficult to formalize on the basis of a rationally justified proced...
متن کاملTheory and Practice of Logic Programming
Trust management is an approach to access control in distributed systems where access decisions are based on policy statements issued by multiple principals and stored in a distributed manner. In trust management, the policy statements of a principal can refer to other principals’ statements; thus, the process of evaluating an access request (i.e., a goal) consists of finding a “chain” of polic...
متن کاملGEM: A distributed goal evaluation algorithm for trust management
Trust management is an approach to access control in distributed systems where access decisions are based on policy statements issued by multiple principals and stored in a distributed manner. In trust management, the policy statements of a principal can refer to other principals’ statements; thus, the process of evaluating an access request (i.e., a goal) consists of finding a “chain” of polic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007